l\_index(${\it dT}$; $L$; $x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mu($\lambda$$i$.eqof(${\it dT}$)($x$,$L$[$i$]))